（来源：上观新闻）
图丨自上而下的规🎛🤜约生成新范式⬛（来源：arXi📲🇵🇹v） 💨在推理过程😚的可靠性方面，🇹🇦😺研究团队并🔁不是直接让 LL🍋🐫M 判断代码是否🇱🇷⏫正确，而是🅰将思维链（Ch🔕ain of🏘 Thou♍🚮ght🦓🔵）与霍尔逻☝🇮🇶辑的推👨⚖️🕉理规则相结合☯🇵🇰，引导 🤯LLM 逐步推🥌🇸🇦导每个代💉🛄码块执行后程🎿序状态所满足的性👩🎤🍒质，最终检🤰🚞查程序状态是否📛符合“说明书”🚮🇬🇶的要求🏖。
真的特别感谢你们🇲🇹📼，我超爱🦢Cod😫🇺🇬ex，这🇩🇰🛠周末我要亲手去做👮一些好玩的东西👨👙。比赛对科研也有💿😕帮助，研究🤸♂️成果可以出🎖去接受检验，比如🌱🚭摔倒了，分析为什🇨🇮🇧🇩么摔倒，平衡算法🛶哪里不足🉐，这些都能推动技🍗术迭代😆。不论是2️⃣在英文还🆑是中文互联网世👩⚖️界，AI🤧以接近于😎🤛零的边际成本大量🛶生产“数👩🎤字泔水”🚳，迅速接管⏪社媒用户📰🈳的信息流，🎚🐥抢夺用户🚉的眼球🍾🔣。
此次升级🤩🐵首先在Mac🐠OS上推♍🌵出，Window🧁🍍s版本即将🇪🇬推出🕓💇。Romain：🚺👝是的，现在确实🈵🚕如此，🎮👨🍳就像各个城市的🤪🚰Codex大使😷🆔们一样👨💻。英伟达以一种独🍸特的方式分配稀🧓缺资源，并💇非单纯的价高者得😏，而是更多地考虑🏤6️⃣“我们希望这些🔙🇹🇫新型云服务公司⛵能存在”，🐛😶因此分配一些🇨🇱🚃资源给Core💖Wea📄🇨🇽ve、C⚛rusoe，以🇸🇹及Lambd⚱🔁a之类⛔⚙公司🍵🇬🇮。
